AUTOMATIC CONVERSION FROM BUILDING CODES INTO CONFORMANCE CHECKING COMPUTER PROGRAMS
نویسندگان
چکیده
منابع مشابه
Automatic Coding Rule Conformance Checking Using Logic Programs
Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is realised by writing code that is constrained to a subset of the a priori admissible programs, and that, moreover, may use only a subset of the language. These subsets are determined by a collection of so-called coding rule...
متن کاملAutomatic Conversion of VHDL Programs into Cases
Software programming is a complex task. To help the user with this task, we are developing a case-based reasoning tool capable of suggesting code to the programmer (software reuse). But, due to the dimension and complexity of software programs, acquisition of the case library is a hard task in this domain. In this paper, we show how a software program can be automatically converted into a case,...
متن کاملSymbolic Bounded Conformance Checking of Model Programs
Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of deciding if the set of traces allowed by one model program forms a subset of the set of traces allowed by another model program. This is a foundational problem in the context of model-based testing, where one model program corre...
متن کاملAutomatic Coding Rule Conformance Checking Using Logic Programming
An extended practise in Software Engineering and programming in industry is the application of coding rules. Coding rules are customarily used to constrain the use (or abuse) of certain constructions in a programming language. However, these rules are usually written using natural language, which is intrinsically ambiguous and which may complicate its use and hinder their automatic application....
متن کاملTowards Robust Conformance Checking
The growing complexity of processes in many organizations stimulates the adoption of business process management (BPM) techniques. Process models typically lie at the basis of these techniques and generally, the assumption is made that the operational business processes as they are taking place in practice conform to these models. However, recent experience has shown that this often isn’t the c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: AIJ Journal of Technology and Design
سال: 2010
ISSN: 1881-8188,1341-9463
DOI: 10.3130/aijt.16.1193